Local programming - PDFSEARCH.IO - Document Search Engine

Local programming
Results: 648

#	Item
161	Solving a Stochastic Queueing Control Problem with Constraint Programming Daria Terekhov and J. Christopher Beck Department of Mechanical and Industrial Engineering, University of Toronto, Toronto, Ontario, Canada {dtere Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2007-03-26 13:14:42 Heuristic Computing Artificial intelligence Constraint programming Mathematical optimization Local consistency
162	Recent improvements using constraint integer programming for resource allocation and scheduling Stefan Heinz1,? , Wen-Yang Ku2 , and J. Christopher Beck2 1 Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2013-01-18 09:01:20 Mathematics Software engineering Convex optimization Linear programming Local consistency Relaxation Mathematical optimization Constraint programming Operations research
163	Datalog with Constraints: A Foundation for Trust Management Languages Ninghui Li and John C. Mitchell Department of Computer Science, Stanford University Gates 4B, Stanford, CA {ninghui.li, jcm}@cs.stanford.ed Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2002-11-05 19:04:46 Computing Constraint satisfaction Constraint logic programming Datalog Relational model Structure Logic programming Constraint Local consistency Constraint programming Software engineering Computer programming
164	Reconsidering Mixed Integer Programming and MIP-based Hybrids for Scheduling Stefan Heinz1,? and J. Christopher Beck2 1 Zuse Institute Berlin, Takustr. 7, 14195 Berlin, Germany Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2012-03-15 06:47:14 Software engineering Applied mathematics Convex optimization Linear programming Constraint satisfaction Local consistency Cutting-plane method Relaxation Constraint programming Operations research Mathematical optimization
165	A Global Constraint for Total Weighted Completion Time Andr´ as Kov´ acs1,3 and J. Christopher Beck2 1 Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2007-03-26 13:14:36 Applied mathematics Constraint programming Combinatorial optimization Linear programming Local consistency Travelling salesman problem Linear programming relaxation Scheduling Computational complexity theory Operations research Mathematics Mathematical optimization
166	Backtrack-Free Search for Real-Time Constraint Satisfaction? J. Christopher Beck, Tom Carchrae, Eugene C. Freuder, and Georg Ringwelski Cork Constraint Computation Centre University College Cork, Ireland {c.beck, t.carch Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2006-01-18 12:07:28 Search algorithms Applied mathematics Mathematics Constraint satisfaction problem Backtracking Local consistency Artificial intelligence Constraint satisfaction Candidate solution Constraint programming Operations research Mathematical optimization
167	SALSA Lite: A Hash-Based Actor Runtime for Efficient Local Concurrency Travis Desell1 and Carlos A. Varela2 1 2 Add to Reading List Source URL: wcl.cs.rpi.edu Language: English - Date: 2015-01-22 12:32:46 Concurrent computing Actor model Functional languages Inter-process communication Object-oriented programming Erlang Message passing Garbage collection Futures and promises Computing Computer programming Software engineering
168	Numeric Bounds Analysis with Conflict-Driven Learning? Vijay D’Silva?? , Leopold Haller, Daniel Kroening, and Michael Tautschnig Computer Science Department, University of Oxford Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2012-07-25 13:39:19 Applied mathematics Electronic design automation Formal methods Logic in computer science NP-complete problems Valuation Boolean satisfiability problem Local consistency Abstract interpretation Theoretical computer science Constraint programming Mathematics
169	Getting Started with the Intel® MPI Library Add to Reading List Source URL: www.lrz.de Language: English - Date: 2014-04-02 09:38:34 Local area networks Application programming interfaces Message Passing Interface MPICH Intel Fortran Compiler Intel C++ Compiler X86-64 Intel Computer cluster Computing Software Parallel computing
170	Trying Again to Fail-First J. Christopher Beck , Patrick Prosser and Richard J. Wallace Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2006-01-18 12:07:28 Search algorithms Heuristic function Heuristic Artificial intelligence Constraint satisfaction problem Local consistency Backtracking Science Innovation Constraint programming Heuristics Operations research

UPDATE